Feeds to Scour
SubscribedAll
Scoured 19432 posts in 356.0 ms
I built a cryptographic memory layer for humans in Python tags: python, opensource, security, blockchain
dev.to·4h·
Discuss: DEV
🌳Archive Merkle Trees
MS-DOS game copy protection and cracks
dosdays.co.uk·9h·
Discuss: Hacker News
🕹️Game Preservation
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·4h
💨Cache Analysis
Differential Logic • 1
inquiryintoinquiry.com·2d
📏Linear Logic
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·16h
🔗Concatenative Programming
Code only says what it does
brooker.co.za·1h·
Discuss: Hacker News
📜Proof Carrying Code
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Private Data Space Model
privatedata.space·2d
✅Format Verification
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Now that's a mega drive - WD reveals plans to launch 40TB HDD, and it's planning on getting to 100TB sooner than you might expect
techradar.com
·1d
💾Storage Replication
When Clever Hardware Hacks Bite Back: A Password Keeper Device Autopsy
hackaday.com·3h
🔓Hacking
Beyond Login Screens: Why Access Control Matters
blog.sucuri.net·1d
🔐Capability Security
A Deeper Look at S3 Compatible Lifecycle Rules in Backblaze B2
backblaze.com·2d
🦋Format Metamorphosis
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·1d
📋Document Grammar
Same Surface, Different Weight
robpanico.com·12h·
Discuss: Hacker News
🎯Gradual Typing
learning by reverse engineering
clymup.com·12h
🔓Reverse engineering
philipl/pifs: πfs - the data-free filesystem!
github.com·11h·
Discuss: Hacker News
🌐IPFS
Backups and Toast
alexlance.blog·1d·
Discuss: Hacker News
💿Backup Strategies
The control layer for AI
blog.dottxt.ai·1d·
Discuss: Hacker News
🔒WASM Capabilities

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help